verification theorem
- 基础释义 纠错
- 释义
检验定理
- 双语例句 更多例句
-
1、
-
2、
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
来源：互联网摘选 -
3、
利用PowerPoint的VBA编程功能制作勾股定理的探索与验证交互性课件
来源：互联网摘选 -
4、
-
5、
Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving
几何定理并行验证算法研究
来源：互联网摘选
- 相关词组
- 相关阅读
-
超模凯雅·格伯和《猫王》演员奥斯汀·巴特勒分手了！
纳米英语 · 双语娱乐资讯
-
胡萝卜的英语怎么说?胡萝卜的英语表达方式有几种?
纳米英语 · 英语词汇
-
小李子50岁啦！生日派对防狗仔绝招曝光！
纳米英语 · 双语娱乐资讯
-
Rachel Zegler 西班牙塞哥维亚惊艳开唱，公主范儿十足！
纳米英语 · 双语娱乐资讯
-
埃文凯尔的春晚之邀：历史与友谊的见证
纳米英语 · 双语新闻
-
宝贝儿的英文单词是什么？宝贝的英文单词
纳米英语 · 英语词汇